%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Pre-processing                          : 0.103s
%% Hypothesis Space Generation             : 1.137s
%% Conflict analysis                       : 27.691s
%%   - Brave Orders                        : 27.691s
%% Counterexample search                   : 5.006s
%%   - CDOEs                               : 4.335s
%%   - CDPIs                               : 0.668s
%% Hypothesis Search                       : 1213.4s
%% Propagation                             : 66.152s
%%   - CDOEs                               : 66.152s
%% Total                                   : 1315.16s
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:~ value(latticini,V1).[V1@2, V1]
:~ value(carne,V1).[-V1@1, V1]
:~ value(forno,V1).[-V1@5, V1]
:~ category(3).[1@4]
:~ value(erbe_spezie_e_condimenti,V1), category(4).[V1@3, V1]

